The Big Oops in Type Systems: This Problem Extends to FP as Well
danieltan.weblog.lol·12h·
Discuss: Hacker News
💧Liquid Types
Quantum Complexity Theory Student Project Showcase #5 (2025 Edition)!
scottaaronson.blog·3h
🕸️Tensor Networks
Tired of Pydantic? Try These 5 Game-Changing Python Libraries
dev.to·1h·
Discuss: DEV
📝Concrete Syntax
Footnotes, Gödel exercises, Purcell
logicmatters.net·18h
👑Isabelle
The Math Is Haunted
overreacted.io·2d·
Discuss: Lobsters, Hacker News, r/javascript, r/programming
⚔️Lean Theorem
Symbolic-numeric programming in scientific computing
dspace.mit.edu·2d
🧬Functional Programming
Verification debt is the AI era's technical debt
kevinbrowne.ca·6h·
Discuss: Hacker News
📏Code Metrics
Your LLM Stack Is Not Ready for Production—Here’s What You’re Missing
hackernoon.com·23h
🔄Language Evolution
Why we need better software identification
softwareheritage.org·17h
🔗Binary Similarity
Structured outputs with Amazon Nova: A guide for builders
aws.amazon.com·15h
💧Liquid Types
My Journey to Pure No-Code Addition (Spoiler: Plot Twist Ending)
news.ycombinator.com·21h·
Discuss: Hacker News
📊APL Heritage
Concrete Security Bounds for Simulation-Based Proofs of Multi-Party Computation Protocols
arxiv.org·1d
🎯Performance Proofs
IaCConf 2025: Automate All the Things Panel Discussion
blog.tedivm.com·1d
🏠Homelab Automation
Real Life Is Uncertain. Consensus Should Be Too!
muratbuffalo.blogspot.com·1d·
Discuss: www.blogger.com
🤝Paxos Consensus
Issue 483
haskellweekly.news·20h
🔗Functional Compilers
Bay Area startup Harmonic gets gold medal at 2025 IMO with formal verification
harmonic.fun·2d·
Discuss: Hacker News
🧮Theorem Proving
Computer Networking a Top-Down Approach, 9th Edition
gaia.cs.umass.edu·1h·
Discuss: Hacker News
📡Network Protocol Design
Encrypted Client Hello Approved for Publication
feistyduck.com·20h·
Discuss: Hacker News
🌐NetworkProtocols
Gödel: The Limits of Logic and the Foundations of Modern Mathematics
quantumzeitgeist.com·23h·
Discuss: Hacker News
🏛️Isabelle HOL
Fermat's Last Theorem in Lean – Imperial College London
github.com·18h·
Discuss: Hacker News
⚔️Lean Theorem